home *** CD-ROM | disk | FTP | other *** search
/ Otherware / Otherware_1_SB_Development.iso / mac / developm / language / openprlg.sit / Open Prolog 1.0d26 / Samples / Tak
Encoding:
Text File  |  1991-10-23  |  170 b   |  11 lines
  1. tak(A,B,C,C) :- 
  2.    A=<B,!.
  3. tak(A,B,C,D) :- 
  4.    tak1(A,B,C,E),!,
  5.    tak1(B,C,A,F),!,
  6.    tak1(C,A,B,G),!,
  7.    tak(E,F,G,D).
  8. tak1(A,B,C,D) :- 
  9.    E is A-1,
  10.    tak(E,B,C,D).
  11.